Expressive power and abstraction in Essence
نویسندگان
چکیده
منابع مشابه
On the Expressive Power of Essence
Essence is a syntactically rich language for specifying search and optimization problems. We show how to applying descriptive complexity theory to study the expressive power of Essence, and present several results on the expressive power of fragments incorporating certain features. The same approach can be applied to a number of other constraint specification or modelling languages. We believe ...
متن کاملThe Essence of Form Abstraction
Abstraction is the cornerstone of high-level programming; HTML forms are the principal medium of web interaction. However, most web programming environments do not support abstraction of form components, leading to a lack of compositionality. Using a semantics based on idioms, we show how to support compositional form construction and give a convenient syntax.
متن کاملFull Abstraction and Expressive Completenes for FP
We consider issues related to the expressive power of the programming language FP. In particular, we consider whether a number of variants of FP are fully abstract and expressively complete. For example, we show that a version of FP with only one-sided sequences behave similarly to PCF in that the addition of parallel or is suucient to make it fully abstract. However, the addition of parallel o...
متن کاملPower-law expansion in k-essence cosmology
We study spatially flat isotropic universes driven by k-essence. It is shown that Friedmann and k-field equations may be analytically integrated for arbitrary k-field potentials during evolution with a constant baryotropic index. It follows that there is an infinite number of dynamically different k-theories with equivalent kinematics of the gravitational field. We show that there is a large “w...
متن کاملExpressive power, mood, and actuality
In Wehmeier (2004) we are presented with the subjunctive modal language, a way of dealing with the expressive inadequacy of modal logic by marking atomic predicates as being either in the subjunctive or indicative mood. Wehmeier claims that this language is expressively equivalent to the standard actuality language, and that despite this the markedunmarked dichotomies are not the same in the tw...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Constraints
سال: 2008
ISSN: 1383-7133,1572-9354
DOI: 10.1007/s10601-008-9050-3